$l$[$i$:=$x$] $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$mklist($\parallel$$l$$\parallel$;$\lambda$$i$.$l$[$i$][$i$:=$x$])